Wyniki
-
On some matrix of the Birkhoff and V.Neumann quantum logic
Mirosław Majewski
Bulletin of the Section of Logic , 7 /3 (1978) s. 133-136 -
Gentzen-style axiomatization of tense logic
Kazimierz Trzesicki
Bulletin of the Section of Logic , 13 /2 (1984) s. 75-84 -
Deterministic and indeterministic tense operators
Kazimierz Trzesicki
Bulletin of the Section of Logic , 16 /2 (1987) s. 76-84 -
Is discreteness of time necessary for Diodorean Master Argument?
Kazimierz Trzesicki
Bulletin of the Section of Logic , 16 /3 (1987) s. 125-139 -
Regular modal logics inconsistent if LT is added: a contribution to the topography of the lattice of modal logics
Kazimierz Świrydowicz
Bulletin of the Section of Logic , 21 /2 (1992) s. 47-54